#include <imx6q/hdmi.h>

/* uboot */
#include <common.h>
#include <asm/io.h>
/* uboot */

struct hdmi gHdmi;

int hdmi_init(struct hdmi_config *config)
{
    {/* Printf Info */
        unsigned int val;
        val = readl(0x00120000);
        printf("HDMI: 0x%x", val);
    }
    return 0;
}
